Type constructor - PDFSEARCH.IO - Document Search Engine

Type constructor
Results: 154

#	Item
21	Programming for MSc Part II Part 2: OOP in C++ (b) The ‘Queue’ ADT as a C++ class Add to Reading List Source URL: herbert.the-little-red-haired-girl.org Language: English - Date: 2009-07-29 03:21:48 Computer programming Abstract data types C++ Queue Sequence container C++ classes Void type Constructor Pointer Software engineering Computing Data types
22	Objective C Bridge User Guide Release 1.0 Dylan Hackers July 31, 2014 Add to Reading List Source URL: opendylan.org Language: English - Date: 2014-07-31 05:22:07 Method GNUstep NeXT Objective-C Object-oriented programming Type signature Constructor Dylan Dynamic dispatch Software engineering Computer programming Computing
23	Program Extrapolation with Jennisys K. Rustan M. Leino0 and Aleksandar Milicevic1 0 Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-07 17:01:53 Data types Type theory Control flow Eval Type system Concolic testing Constructor Algorithm KeY Computing Software engineering Mathematics
24	WINGS ACCOUNTING INTERFACE ( V E R SI O NG ENERAL The Wings Accounting Interface (WAI) is conceived as a COM Automation Server. This implies that it supports dual interfaces, in other words both early and late bin Add to Reading List Source URL: www.wings.be Language: English - Date: 2013-12-03 09:14:52 Boolean algebra Boolean data type Computer programming Q Constructor Software engineering Data types Computing
25	Splitting traits into implementation and interface facets (aka AddInterfaces) c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 30th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-10-03 06:26:28 Object-oriented programming Method Type theory Mixin Trait Constructor Property Mutator method Class Software engineering Computing Computer programming
26	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:49:11 Data types Type theory Stack Subroutine Constructor Constant Variable C Linked list Software engineering Computer programming Computing
27	Learning and doing scalac transformations the easy way: via unparsing c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia December 16th , 2010 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-01-07 02:34:06 Data types Type theory C++ Method Java platform Scala Constructor C++ classes Type system Computing Software engineering Computer programming
28	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart & Gr´egoire Henry June 7, 2012 Abstract We present two ongoing related experiments in generic programming Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:12 Type theory Data types Functional programming Functional languages Type class Generic programming OCaml Constructor Main function Software engineering Computing Computer programming
29	18 Vectors and Arrays “Caveat emptor!” —Good advice T Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2014-05-15 15:29:30 C++ Copy constructor Sequence container New Constructor C++ classes Assignment operator ALGOL 68 Array data type Algebra Computer programming Software engineering
30	PDF Document Add to Reading List Source URL: herbert.the-little-red-haired-girl.org Language: English - Date: 2009-07-29 03:21:48 C++ Subroutines Data types C++ classes Main function ALGOL 68 Void type D Constructor Software engineering Computer programming Computing

UPDATE